VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne

Source URL: www.cs.york.ac.uk

• Harbourfront
• PATH
• Toronto Transit Commission
• Ontario
• Yonge Street
• Union station
• King station
• Queens Quay
• Queen station
• Gardiner Expressway
• Bay station

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Source URL: www.dcs.ed.ac.uk

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP

Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Source URL: www.doc.ic.ac.uk

• Process calculi
• Mathematics
• Theoretical computer science
• Logic
• -calculus
• Computability theory
• Number theory
• Process calculus
• Join-calculus
• Lambda calculus
• Distribution
• Substitution

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

Source URL: www.cs.man.ac.uk

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

Snarky Signatures: Minimal Signatures of Knowledge from Simulation-Extractable SNARKs

Source URL: www0.cs.ucl.ac.uk

• Cryptocurrencies
• Private currencies
• Computing
• Cryptography
• Zcash
• Decentralization
• Information
• Blockchain
• Data
• Anonymity
• Bitcoin Private

Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Measure theory
• Boolean algebra
• Experiment
• Sigma-algebra
• Determinacy
• Abstract algebra
• Stochastic game
• -automaton
• Lie algebras
• Lifting theory
• Littelmann path model

PDF Document

Source URL: www.cl.cam.ac.uk

• Software
• Proof assistants
• Computing
• Logic in computer science
• JEdit
• Isabelle
• Standard ML
• Plug-in
• Selection
• Logic for Computable Functions
• HOL
• Isabel

Smart Contracts for Bribing Miners Patrick McCorry, Alexander Hicks, and Sarah Meiklejohn University College London {p.mccorry,alexander.hicks.16,s.meiklejohn}@ucl.ac.uk Abstract. We present three smart contracts that a

Source URL: smeiklej.com

• Cryptocurrencies
• Bitcoin
• Blockchains
• Economy
• Money
• Computing
• Alternative currencies
• Digital currencies
• Ethereum
• Fork
• Mining pool
• Smart contract

PDF Document

Source URL: www.trinity.ox.ac.uk

ROOTSTOCK NEWSLETTER AGM Spring

Source URL: www.rootstock.org.uk

• Business models
• Market socialism
• Plant reproduction
• Radical Routes
• Cooperative
• Housing cooperative
• Rootstock
• Coop
• Consumers' co-operative
• Structure
• Economy
• Human behavior